$\div$$r$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$r$.2.2.2.2.2.2.2.2